例句與造句

1. Then negation introduction and elimination are just special cases of implication introduction ( conditional proof ) and elimination ( modus ponens ).
2. The inference figures we have seen so far are not sufficient to state the rules of implication introduction or disjunction elimination; for these, we need a more general notion of " hypothetical derivation ".
3. It's difficult to find implication introduction in a sentence. 用implication introduction造句挺難的